1. An introduction to formal specification and Z
پدیدآورنده: Potter, Ben
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computer software -- Development,، Z )Computer program language(
رده :
QA
76
.
76
.
D47
P68
2. An introduction to formal specification and Z
پدیدآورنده: Potter, Ben.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer software - Development , Z )Computer program language(
رده :
QA
76
.
76
.
D47
P68
1990
3. An introduction to formal specification and Z
پدیدآورنده: / Ben Potter, Jane Sinclair, David Till
کتابخانه: کتابخانه مؤسسه ژئوفیزیک (دانشگاه تهران) (تهران)
موضوع: Computer software - Geotools ــ Development,Z )Computer program language( ــ Development
رده :
QA
76
.
76
.
D47
4. An introduction to formal specification and Z
پدیدآورنده: Potter, Ben.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Development ، Computer software,، Z )Computer program language(
رده :
QA
76
.
76
.
D47
P68
1991
5. An introduction to formal specification and Z
پدیدآورنده: / Ben Potter, John Sinclair and David Till
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer software--Development.,Z (Computer program language)
رده :
QA
76
.
76
.
D47P68
1996
